Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
671	Putting Opacity in its Place Mohsen Lesani Computer Science Department University of California, Los Angeles, CA ABSTRACT Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2012-08-15 23:50:13 Computing Data Software transactional memory Algorithm Model theory Linearizability Serializability Opacity Concurrency control Transaction processing Data management
672	INVESTMENT SHOCKS AND THE RELATIVE PRICE OF INVESTMENT ALEJANDRO JUSTINIANO, GIORGIO E. PRIMICERI, AND ANDREA TAMBALOTTI Abstract. We estimate a New-Neoclassical Synthesis business cycle model with two investment shocks. Add to Reading List Source URL: faculty.wcas.northwestern.edu Language: English - Date: 2010-08-24 06:20:47 New classical macroeconomics Economic growth Capital Dynamic stochastic general equilibrium Capital accumulation General equilibrium theory Investment goods Business cycle Economics Macroeconomics Microeconomics
673	POTENTIAL AND NATURAL OUTPUT ALEJANDRO JUSTINIANO AND GIORGIO E. PRIMICERI Abstract. We estimate a DSGE model with imperfectly competitive products and labor markets, and sticky prices and wages. We use the model to back Add to Reading List Source URL: faculty.wcas.northwestern.edu Language: English - Date: 2012-10-07 20:36:01 New classical macroeconomics Economic theories Dynamic stochastic general equilibrium Potential output Keynesian economics General equilibrium theory Supply and demand Labour economics Business cycle Economics Macroeconomics New Keynesian economics
674	Multi-Valued Symbolic Model-Checking MARSHA CHECHIK, BENET DEVEREUX, STEVE EASTERBROOK AND ARIE GURFINKEL University of Toronto This paper introduces the concept of multi-valued model-checking and describes a multi-valu Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-07-30 17:15:50 Algebraic logic Algebraic structures Non-classical logic Boolean algebra Abstract algebra Heyting algebra Model theory Modal logic Many-valued logic Mathematical logic Logic Mathematics
675	Slender Planing Surfaces E.O. Tuck The University of Adelaide, Australia 5005 Abstract A theory for slender planing surfaces of general shape at high Froude number was formulated by Casling [1]. Although this theory was Add to Reading List Source URL: web.mit.edu Language: English - Date: 2006-06-05 06:56:02 Mathematics Independence Interpretation Structure Symbol Model theory Μ operator Logic
676	Microsoft Word - IS handbook 7 July new abstract.doc Add to Reading List Source URL: www.nber.org Language: English - Date: 2007-01-12 14:45:07 Game theory Commerce Auction First-price sealed-bid auction Vickrey auction Dutch auction English auction Online auction business model Common value auction Auctioneering Auction theory Business
677	PDF Document Add to Reading List Source URL: web.ceu.hu Language: English - Date: 2012-03-29 05:55:31 Mathematical structures Homological algebra Operator theory Fundamental theorem Representation theorem Functional analysis Algebraic topology Model theory Lie algebra Algebra Mathematics Abstract algebra
678	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2010-04-27 15:04:12 Mathematics Spectrum CW complex Homotopy category Homotopy Acyclic model Landweber exact functor theorem Topology Homotopy theory Abstract algebra
679	1 Wireless Enhancements for Storage Area Networks David Griffith, Kotikalapudi Sriram, JingSi Gao, and Nada Golmie Abstract— We propose the creation of a wireless storage area Add to Reading List Source URL: w3.antd.nist.gov Language: English - Date: 2009-02-03 16:25:23 Poisson processes Markov models Network performance Queueing model Erlang Storage area network Cache Exponential distribution Computer data storage Statistics Stochastic processes Queueing theory
680	(∞, 2)-Categories and the Goodwillie Calculus I October 8, 2009 Contents 1 Complete Segal Spaces Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2009-10-08 17:39:25 Mathematics Simplicial set Nerve Functor Model category Natural transformation Adjoint functors Groupoid Homotopy category Abstract algebra Category theory Homotopy theory

UPDATE